|
|
Překlad C++ aplikací pro vestavěná zařízení
Nosterský, Milan ; Přikryl, Zdeněk (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato diplomová práce se zabývá přidáním podpory překladu jazyka C++ a jeho standardu C++11 v rámci překladače pro vestavěné systémy. Překladač, založený na projektu LLVM se generuje v rámci prostředí Codasip Studia. Toto prostředí slouží pro návrh procesorů s aplikačně specifickou instrukční sadou, kdy umožňuje na základě popisu sémantiky instrukční sady generovat překladač pro libovolnou cílovou architekturu. Jazyk C++ je jazyk vycházející z jazyka C, rozšířený o objektovou orientaci a několik nových funkcionalit. Jazyk C++ umožňuje psát velmi efektivní kód na vysoké úrovni abstrakce. V rámci testovací fáze je implementace podpory jazyka C++ ověřena na modelech procesorových jader s využitím testovací sady.
|
|
|
Ladící třída pro PHP
Kluvánek, Jakub ; Krček, Petr (oponent) ; Roupec, Jan (vedoucí práce)
Cílem této práce je vytvořit pomůcku, která bude pomáhat při vytváření a ladění PHP aplikací. Práce rovněž obsahuje přehled toho, jak se v PHP zachází s chybami a výjimkami standardním způsobem. Výsledkem je snadno použitelná třída, která je snadno rozšiřitelná o další funkčnost a obsahuje všechny základní nástroje užitečné při vývoji. Další, neméně důležitou funkcí, této ladící třídy je část, která zpracovává chyby na produkčním serveru. Tato část je nezbytná, protože uživateli by se neměly zobrazovat detailní informace o chybě. Chyby totiž můžou obsahovat citlivé informace (předevšim hesla do databáze, strukturu tabulek,...). Třídu již sám v praxi používám na několika projektech a ukázala se velmi přínosnou.
|
|
|
Programování s přístupem Design by Contract na platformě .NET
Bohačiak, Ondrej ; Rychlý, Marek (oponent) ; Bartík, Vladimír (vedoucí práce)
Cílem této práce je představit programovací přístup Design by Contract (DbC), jeho principy a způsoby implementace v různých prostředích. V úvodě projektu je diskutovaná motivace k vzniku tohoto přístupu a vysvětlená metafora, o kterou se DbC opírá i její aplikace do programování. Následně jsou popsány hlavní prvky smlouvy v kontextu rozhraní rutiny. Hlavní náplní práce je analýza a porovnaní jednotlivých programovacích prostředí pro vývoj pomocí DbC pomocí programových ukáţek. V závěru práce je zhodnocen přínos této techniky a její začlenění do moderního procesu vývoje.
|
|
|
Statistiky managementu bobra evropského v ČR
Robotka, David
Tato bakalářská práce řeší problematiku týkající se počtu vydaných výjimek a následného skutečného odlovu bobra evropského (Castor fiber) v rámci celé České republiky. K řešení byly využity získané informace z krajských úřadů z odboru životního prostředí a krajiny. Studie ukázala, že již první roky od přijetí Programu péče o bobra byly výjimky s povolením k lovu vydávány, avšak jejich využití ve formě počtu ulovených kusů nebylo vysoké. Z důvodu neustálého se rozšiřování tohoto druhu a s tím spojené zvýšené působení škod se však tento počet postupem času zvyšoval. Hlavním zjištěním je, že se od roku 2013 do doby sběru dat vydalo celkem 72 výjimek k lovu a 7 opatření obecné povahy. Celkem se na ně ulovilo 235 jedinců bobra evropského, nejvíce však v Plzeňském kraji. Paradoxně bylo uloveno více jedinců v zóně B, kde je odstřel povolen pouze na vydané výjimky než v zóně C, kde je odstřel celoplošně bez omezení.
|
|
|
Projev průvodce cestovního ruchu
Pecháčková, Veronika ; Palkosková, Olga (vedoucí práce) ; Chejnová, Pavla (oponent)
Tato práce se zabývá problematikou projevu průvodce cestovního ruchu z hlediska jednotlivých jazykových rovin. Téma bylo vybráno z důvodu, že autorka práce studovala cestovní ruch na střední škole a s činností průvodce má i praktické zkušenosti. Dalším důvodem byl fakt, že tato problematika nebyla dosud podrobně zpracována. Práce kromě činnosti průvodce a jeho neverbální komunikace zpracovává především jeho projev z hlediska pěti jazykových skupin - foneticko-fonologické, morfologické, lexikální, syntaktické a stylistické. K analýze byly použity čtyři video-nahrávky zachycující skutečné projevy průvodců na hradě či zámku. Výsledkem práce je formulování specifických rysů, jimiž se projev průvodce cestovního ruchu vyznačuje. Tyto rysy jsou doplněny ještě několika body, jež představují doporučení pro každého průvodce cestovního ruchu a jeho správný a efektivní výklad.
|
|
|
Překlad C++ aplikací pro vestavěná zařízení
Nosterský, Milan ; Přikryl, Zdeněk (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato diplomová práce se zabývá přidáním podpory překladu jazyka C++ a jeho standardu C++11 v rámci překladače pro vestavěné systémy. Překladač, založený na projektu LLVM se generuje v rámci prostředí Codasip Studia. Toto prostředí slouží pro návrh procesorů s aplikačně specifickou instrukční sadou, kdy umožňuje na základě popisu sémantiky instrukční sady generovat překladač pro libovolnou cílovou architekturu. Jazyk C++ je jazyk vycházející z jazyka C, rozšířený o objektovou orientaci a několik nových funkcionalit. Jazyk C++ umožňuje psát velmi efektivní kód na vysoké úrovni abstrakce. V rámci testovací fáze je implementace podpory jazyka C++ ověřena na modelech procesorových jader s využitím testovací sady.
|
|
|
Povinná mlčenlivost zdravotnických pracovníků - trestněprávní aspekty
Mišľan, Martin ; Sovová, Olga (vedoucí práce) ; Císařová, Dagmar (oponent)
Resumé Cílem mé práce bylo přiblížit problematiku povinné mlčenlivosti zdravotnických pracovníků a výjimek z tohoto institutu v souvislosti s trestním právem. V úvodní části diplomové práce je obecně definován institut povinné mlčenlivosti ve zdravotnictví, prameny právní úpravy tohoto institutu a jeho vývoj v českém právním řádu. Práce se také zabývá problematikou zdravotní dokumentace a ochrany osobních citlivých údajů v souvislosti s povinnou mlčenlivostí zdravotnických pracovníků. V další části práce je vymezeno prolomení povinné mlčenlivosti na základě souhlasu pacienta a také případy, kde souhlas pacienta k získaní informací o jeho zdravotním stavu není potřebný. Práce se zabývá i trestní odpovědností při porušení povinné mlčenlivosti a vyjmenovává možné trestné činy, které můžou být porušením této povinnosti spáchány. Závěr práce předkládá stručné porovnání úpravy institutu v Slovenské republice a v Německé spolkové republice.
|
|
|
On the semantics of exceptions for high level and low level languages
Tejiščák, Matúš ; Swierstra, Wouter (vedoucí práce) ; Kučera, Petr (oponent)
V práci se zabýváme korektností kompilátoru jazyka s výjimkami. Předkládáme formální sémantiku; jak denotační sémantiku vysokoúrovňového jazyka, tak operační sémantiku jazyka instrukcí pro zásobníkový stroj. Studujeme metodu odvíjení zásobníku a poté, iterativně ve více krocích, předkládáme modifikovanou metodu. Tato je strukturálně rekurzivní a tudíž vhodná pro implementaci v totálních závisle typovaných jazycích. Nakonec předkládáme implementaci kompilátoru v závisle typovaném jazyce Agda, spolu se strojově ověřitelným důkazem, že předložená implementace kompilátoru při překladu zachovává sémantiku programu.
|
|
|
Projev průvodce cestovního ruchu
Pecháčková, Veronika ; Palkosková, Olga (vedoucí práce) ; Chejnová, Pavla (oponent)
Tato práce se zabývá problematikou projevu průvodce cestovního ruchu z hlediska jednotlivých jazykových rovin. Téma bylo vybráno z důvodu, že autorka práce studovala cestovní ruch na střední škole a s činností průvodce má i praktické zkušenosti. Dalším důvodem byl fakt, že tato problematika nebyla dosud podrobně zpracována. Práce kromě činnosti průvodce a jeho neverbální komunikace zpracovává především jeho projev z hlediska pěti jazykových skupin - foneticko-fonologické, morfologické, lexikální, syntaktické a stylistické. K analýze byly použity čtyři video-nahrávky zachycující skutečné projevy průvodců na hradě či zámku. Výsledkem práce je formulování specifických rysů, jimiž se projev průvodce cestovního ruchu vyznačuje. Tyto rysy jsou doplněny ještě několika body, jež představují doporučení pro každého průvodce cestovního ruchu a jeho správný a efektivní výklad.
|
|
|
Programování s přístupem Design by Contract na platformě .NET
Bohačiak, Ondrej ; Rychlý, Marek (oponent) ; Bartík, Vladimír (vedoucí práce)
Cílem této práce je představit programovací přístup Design by Contract (DbC), jeho principy a způsoby implementace v různých prostředích. V úvodě projektu je diskutovaná motivace k vzniku tohoto přístupu a vysvětlená metafora, o kterou se DbC opírá i její aplikace do programování. Následně jsou popsány hlavní prvky smlouvy v kontextu rozhraní rutiny. Hlavní náplní práce je analýza a porovnaní jednotlivých programovacích prostředí pro vývoj pomocí DbC pomocí programových ukáţek. V závěru práce je zhodnocen přínos této techniky a její začlenění do moderního procesu vývoje.
|
host ::
RSS.